$\forall$${\it es}$:ES, $P$:(E$\rightarrow\mathbb{B}$). last($P$) $\in$ AbsInterface(E)